operating system kernel - Deutsch Englisch Wörterbuch